81. Maple V:
Author: Robert J. Lopez, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
82. New Trends in Software Methodologies, Tools and Techniques :
Author: edited by Hamido Fujita and Paul Johannesson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
Classification :
QA76
.
758
.
L94
2002eb
83. OpenFOAM® :
Author: J. Miguel Nóbrega, Hrvoje Jasak, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational fluid dynamics-- Computer programs, Congresses.,Computational Science and Engineering.,Computer-Aided Engineering (CAD, CAE) and Design.,Engineering Fluid Dynamics.,Engineering Thermodynamics, Heat and Mass Transfer.,Mechanical Engineering.,Computer science.,Computer-aided design.,Engineering.,Hydraulic engineering.,Mechanical engineering.
Classification :
TA357
.
5
.
D37
84. Origami 5 :
Author: edited by Patsy Wang-Iverson, Robert J. Lang, Mark Yim
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Origami in education, Congresses,Origami-- Mathematics, Congresses
Classification :
QA491
.
I55
2011
85. Parallel processing and applied mathematics :
Author: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
Classification :
QA76
.
58
86. Positive systems :
Author: edited by James Lam, Yun Chen, Xingwen Liu, Xudong Zhao, Junfeng Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence, Congresses.,Control theory-- Computer programs, Congresses.,Positive systems, Congresses.,Computational intelligence.,Control theory-- Computer programs.,Engineering.,Positive systems.
Classification :
QA402
.
L43x
v
.
480
87. Practical aspects of declarative languages :
Author: José Júlio Alferes, Moa Johansson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
Classification :
QA76
.
76
.
C65
88. Proceedings of the International Congress on Computational Methods in Engineering 1993 shiraz 2nd - 6th May, 1993
Author: / editor: M.A. Yaghoubi
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Engineering -- Computer programs -- Congresses
Classification :
TA
345
.
I54
1993
89. Proceedings of the 4th Brazilian Technology Symposium (BTSym'18) :
Author: Yuzo Iano [and four others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Technological innovations, Congresses.,Technology, Congresses.,SCIENCE-- Applied Sciences.,Technological innovations.,TECHNOLOGY & ENGINEERING-- Inventions.,TECHNOLOGY & ENGINEERING-- Reference.,Technology.
Classification :
T173
.
8
.
B733
2018
90. Proceedings of the 13th Reinventing Space Conference /
Author: Scott Hatton, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Astronautics, Congresses.,Astronautics.,Exploration of outer space.,TECHNOLOGY & ENGINEERING-- Engineering (General),Outer space, Exploration, Congresses.,Outer space., 0, 7
Classification :
TL787
91. Proceedings of the 13th Reinventing Space Conference
Author: / Scott Hatton, editor
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Astronautics -- Congresses; ,Outer space -- Exploration -- Congresses; ,TECHNOLOGY & ENGINEERING / Engineering (General);
92. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
93. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
94. Programming languages and systems :
Author: Gilles Barthe (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
6
.
E97
2011
95. Programming languages and systems :
Author: Sukyoung Ryu (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
7
96. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
97. Rice Genetics II :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Rice-- Genetics, Congresses.,Arroz (congressos),Rice-- Genetics.,TECHNOLOGY & ENGINEERING-- Agriculture-- Agronomy-- Crop Science.
Classification :
SB191
.
R5
I45
1990eb
98. Runtime verificatio
Author: / Saddek Bensalem, Doron A. Peled (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Formal methods (Computer science)--Congresses,Computer programs--Testing--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
R88
,
2009
99. Software applications in electrical engineering
Author: / editor, P.P. Silvester
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Electric engineering - Data processing - Congresses,Electric engineering - Computer programs - Congresses,Software engineering - Congresses
Classification :
TK
153
.
I594
1993
